Stephen Kleene
 |
|
| Naixement | (en) Stephen Cole Kleene
5 gener 1909
Hartford (Connecticut) |
|---|
| Mort | 25 gener 1994 (85 anys)
Madison (Wisconsin) |
|---|
|
|
|
|
|
| Formació | Universitat de Princeton - matemàtiques (1930–1934)
Amherst College (–1930) |
|---|
| Tesi acadèmica | A Theory of Positive Integers in Formal Logic (1934 ) |
|---|
| Director de tesi | Alonzo Church |
|---|
|
| Camp de treball | Informàtica teòrica i teoria de la computació |
|---|
| Ocupació | matemàtic, filòsof, informàtic, professor d'universitat |
|---|
| Ocupador | Universitat de Wisconsin-Madison (1946–1979)
Marina dels Estats Units d'Amèrica (1942–1946)
Amherst College (1941–1942)
Universitat de Wisconsin-Madison (1935–1941)
Universitat de Princeton (1934–1935) |
|---|
| Membre de | |
|---|
| Moviment | Intuïcionisme |
|---|
|
| Branca militar | Marina dels Estats Units d'Amèrica |
|---|
| Rang militar | tinent comandant (1946–) |
|---|
| Conflicte | Segona Guerra Mundial |
|---|
|
Obres destacables |
| Estudiant doctoral | Yiannis Moschovakis, Robert Constable, Joan Moschovakis, John Addison, Dick de Jongh, Nels David Nelson, Douglas Clarke, Gene Fuerst Rose, Clifford Spector, Paul Axt, Richard Vesley, Shih-Chao Liu i David Kierstead |
|---|
|
| Cònjuge | Nancy Elliot (1942-†1970)
Jeanne Steinmetz (1978-1994) |
|---|
| Pares | Gustav Adolph Kleene i Alice Lena Cole |
|---|
Premis |
Stephen Kleene (5 de gener de 1909, Hartford (Connecticut), Estats Units - 25 de gener de 1994, Madison (Wisconsin), EUA) fou un lògic i matemàtic estatunidenc.[1]
